First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
941	Course Number and Title: PHI 333, Introduction to Symbolic Logic Credits: 3 Prerequisites: None PHI 333 is a requirement for a Major in Philosophy Instructor: Tom Blackson Philosophy Faculty Add to Reading List Source URL: tab.faculty.asu.edu Language: English - Date: 2014-04-09 11:42:14 Education reform Predicate logic Philosophical logic Metalogic Jon Barwise Homework First-order logic Model theory Grade Logic Education Knowledge
942	Self-Certification Bootstrapping Certified Typecheckers in F? with Coq Pierre-Yves Strub Nikhil Swamy Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 13:20:49 Mathematical logic Data types Functional programming Model theory Polymorphism Coq Type system Dependent type First-order logic Type theory Software engineering Programming language theory
943	Introduction to Logic 2010 Logic 2010 is a system for computer and Internet-assisted classroom instruction in first order logic. Versions of the program have been used at UCLA since 1985 and since then have been adopted Add to Reading List Source URL: logiclx.humnet.ucla.edu Language: English - Date: 2012-03-30 00:03:13 Psychometrics Educational psychology Exercise Sports science Test Logic Computer Education Knowledge Science
944	PHIL V3411/ G4415 SYMBOLIC LOGIC FALL 2010 Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-14 14:00:53 First-order logic Quantification Propositional calculus Logic Mathematical logic Predicate logic
945	Approximate inference for first-order probabilistic languages Hanna Pasula and Stuart Russell Computer Science Division, University of California 387 Soda Hall, Berkeley, CA[removed]fpasula,[removed] Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-01-03 13:57:07 Statistical models Graphical models Computational statistics Monte Carlo methods Markov chain Bayesian network Probabilistic logic Gibbs sampling Bayesian inference in phylogeny Statistics Probability and statistics Markov models
946	General Information for CS 130 Course number & title: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:03:58 Model theory Predicate logic Semantics First-order logic Interpretation Function Jon Barwise Quantification Propositional calculus Logic Mathematical logic Mathematics
947	The Role of Decidability in First Order Separations over Classes of Finite Structures Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:31 Mathematical logic Complexity classes Computational complexity theory FO Descriptive complexity Model theory SO Descriptive complexity theory P Theoretical computer science Finite model theory Mathematics
948	Linear-time algorithms for Monadic Logic Steven Lindell Haverford College, Department of Computer Science Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:22 Logic Mathematical structures Graph theory First-order logic Predicate logic Monad Structure Graph Robertson–Seymour theorem Mathematics Mathematical logic Model theory
949	Linear-time algorithms for Monadic Logic Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:23 Predicate logic Model theory Philosophical logic Semantics Algebraic structures First-order logic FO Logical connective Quantification Logic Mathematical logic Mathematics
950	Description Logics Foundations of Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Propositional calculus Philosophical logic Logic in computer science Logical syntax Modal logic First-order logic Proposition Fuzzy logic Entailment Logic Mathematical logic Non-classical logic

UPDATE